$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E, $x$:Id. state\_after($e$).$x$ $=$ ($x$ after $e$) $\in$ vartype(loc($e$);$x$))